An Automatic Generation and Verification Method of Software Requirements Specification

نویسندگان

چکیده

The generation of standardized requirements specification documents plays a crucial role in software processes. However, the manual composition specifications is laborious and time-consuming task, often leading to errors that deviate from actual requirements. To address this issue, paper proposes an automated method for generating utilizing knowledge graph graphviz. Furthermore, order overcome limitations existing requirement process, such as inadequate emphasis on data information evaluation, we enhance traditional U/C matrix by introducing S/U/C matrix. This novel represents outcomes data/function systematic analysis, verification facilitated through design inspection rules. Experimental results demonstrate generated using achieve standardization adherence regulations, while devised rules facilitate updating iteration specifications.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Specification and Automatic Verification

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This textbook introduces three of these techniques, based on logic and automata: Duration Calculus, Timed Automata, and PLC-A...

متن کامل

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

15 صفحه اول

Software Specification Refinement and Verification Method with I-Mathic Studio

A software design usually manifests a composition of software specifications. It consists of hierarchies of black box and white box specifications which are subject to refinement verification. Refinement verification is a modelchecking process that proves the correctness of software specifications using formal methods. Although this is a powerful tool for developing reliable and robust software...

متن کامل

Software Requirements Specification

Unified University Inventory System (UUIS), is an inventory system created for the Imaginary University of Arctica (IUfA) to facilitate its inventory management, of all the faculties in one system. Team 1 elucidates the functions of the system and the characteristics of the users who have access to these functions. It shows the access restrictions to different functionalities of the system prov...

متن کامل

An Approach for Interoperability Requirements Specification and Verification

Enterprises are today involved in collaborative processes with other partners sharing common economical interests in confidence. This allows these enterprises to focus on their core business, to optimize, and to be effective to respond to customers’ needs. Implicitly, a partner that wishes to become involved in a partnership must demonstrate numerous qualities and enable to gain the confidence ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronics

سال: 2023

ISSN: ['2079-9292']

DOI: https://doi.org/10.3390/electronics12122734